Single axioms for atomistic and atomless mereology.
نویسندگان
چکیده
منابع مشابه
natural axioms for classical mereology
We present a new axiomatization of classical mereology in which the three components of the theory—ordering, composition, and decomposition principles—are neatly separated.The equivalence of our axiom systemwith other, more familiar systems is established by purely deductivemethods, along with additional results on the relative strengths of the composition and decomposition axioms of each theor...
متن کاملProofs for Group and Abelian Group Single Axioms* Proofs for Group and Abelian Group Single Axioms
This memorandum serves as a companion to the paper \Single axioms for groups and Abelian groups with various operations". That paper presents single axioms for groups and Abelian groups in terms of fproduct, inverseg, fdivisiong, fdouble division, identityg, fdouble division, inverseg, fdivision, identityg, and fdivision, inverseg. Proofs that were omitted from that paper are presented here.
متن کاملSingle Axioms for Boolean Algebra
Explicit single axioms are presented for Boolean algebra in terms of (1) the Sheffer stroke; (2) disjunction and negation; (3) disjunction, conjunction, and negation; and (4) disjunction, conjunction, negation, 0, and 1. It was previously known that single axioms exist for these systems, but the procedures to generate them are exponential, producing huge equations. Automated deduction technique...
متن کاملAtomless varieties
We define a nontrivial variety of boolean algebras with operators such that every member of the variety is atomless. This shows that not every variety of boolean algebras with operators is generated by its atomic members, and thus establishes a strong incompleteness result in (multi-)modal logic.
متن کاملMereology and Rough Mereology: Rough Mereological Granulation
In this chapter, we embark on a more specific granulation theory, stemming from the mereological theory of things. This mechanism provides us with tolerance and weak tolerance relations forming a graded similarity in the sense of Chap.1 and with resulting therefrom granules. To put the necessary notions in a proper order, we are going to discuss mereology, rough mereology and the mereological g...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 1975
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1093891792